Fault Diagnosis of Distributed Discrete Event Systems Using OBDD
نویسندگان
چکیده
منابع مشابه
Fault Diagnosis of Distributed Discrete Event Systems Using OBDD
In this paper, we study the fault diagnosis problem for distributed discrete event systems. The model assumes that the system is composed of distributed components that are modeled in labeled Petri nets and interact with each other via sets of common resources (places). Further, a component’s own access to a common resource is an observable event. Based on the diagnoser approach proposed by Sam...
متن کاملFault Diagnosis for Distributed Asynchronous Dynamically Reconfigured Discrete Event Systems
Diagnosis of concurrent and asynchronous systems, such as large telecommunication or information systems, requires powerful mathematical models. The use of Petri net unfoldings allows to formalize diagnosis using partial order semantics, a generalization from the global state model imposed by the use of automata. If, in addition to asynchronicity and distribution, the network topology itself is...
متن کاملPartial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملFault Diagnosis of Discrete Event Systems Using Petri Nets
This talk focuses on on-line fault diagnosis of discrete event systems based on Petri nets. In particular a diagnosis approach based on the notion of basis markings and justifications is discussed. This concept allows us to represent the reachability space in a compact manner, i.e., it requires to enumerate only a subset of the reachability space. Arbitrary labeled Petri nets are considered as ...
متن کاملDistributed Diagnosis of Discrete-Event Systems Using Petri Nets
The problem of detecting and isolating fault events in dynamic systems modeled as discrete-event systems is considered. The modeling formalism adopted is that of Petri nets with labeled transitions, where some of the transitions are labeled by different types of unobservable fault events. The Diagnoser Approach for discrete-event systems modeled by automata developed in earlier work is adapted ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Informatica
سال: 2005
ISSN: 0868-4952,1822-8844
DOI: 10.15388/informatica.2005.109